home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group93b.txt / 000134_icon-group-sender _Mon Jun 7 16:14:09 1993.msg < prev    next >
Internet Message Format  |  1993-06-16  |  2KB
  1. Received: from owl.CS.Arizona.EDU by cheltenham.CS.Arizona.EDU; Sun, 13 Jun 1993 13:24:35 MST
  2. Received: by owl.cs.arizona.edu; Sun, 13 Jun 1993 13:24:34 MST
  3. Date: 7 Jun 93 16:14:09 GMT
  4. From: agate!howland.reston.ans.net!newsserver.jvnc.net!newsserver.cshl.org!newsserver.cshl.org!not-for-mail@ucbvax.Berkeley.EDU  ( CSHL)
  5. Organization: Cold Spring Harbor Lab, NY
  6. Subject: Re: Survey of set based langu
  7. Message-Id: <1uvpghINN2h7@phage.cshl.org>
  8. References: <2e.90.48.0NBBF2A7@lill.frmug.fr.mugnet.org>
  9. Sender: icon-group-request@cs.arizona.edu
  10. To: icon-group@cs.arizona.edu
  11. Status: R
  12. Errors-To: icon-group-errors@cs.arizona.edu
  13.  
  14. >I am doing a survey of high level languages based on sets. The only
  15. >information I have currently is on the language SETL. I would appreciate any
  16. >pointers to articles, magazines, books, etc. that will have more information
  17. >on this issue. 
  18. >
  19. >Thanks in advance
  20. >-- 
  21. >ramanand@pumpkin.ece.uc.edu          home:   513 281 9870
  22. >rmandaya@uceng.uc.edu                office: 513 556 3025
  23. >mandayrv@ucunix.san.uc.edu           ham:    KB8GKL
  24.  
  25. The language APL is very much set based, only cast in the language of
  26. vectors and matrices.  For example, {x|predicate(x)} is written predicate(x)/x.
  27. The newer APL2 is indeed based on the development of a "theory of arrays",
  28. modelled after Cantor's set theoretic axioms.  APL2 and APL are/were very 
  29. popular languages for solving very hard problems.  The best source is 
  30. APL Conference Proceedings (annual, ACM), particularly Trenchard More's 
  31. papers on array theory.
  32.  
  33. What has this got to do with Icon?  Well, I've always thought Icon's flow
  34. control would complement APL's data parallel model rather nicely...
  35. -- Bill Chang (wchang@cshl.org)
  36.